بررسی تصمیم پذیری محرمانگی در پروتکل های امنیت

پایان نامه
چکیده

اطلاعات یک عنصر کلیدی در جامعه ماست بنابراین محرمانگی، احراز هویت و صحت اطلاعات آن باید تضمین شده باشد. پروتکلهای امنیت دنباله ای از فعل و انفعالات بین نهادها را تعیین میکنند. محیطی که پروتکلهای امنیت در آن در نظر گرفته میشوند خصومت آمیز است. بدین معنی که این محیط ممکن است شامل مهاجم هایی یاشد که اطلاعات را تحریف کنند. پروتکلهای امنیت اغلب به دلیل خواص بینهایت نافذی که فرض میشود بدست آورده اند اشتباه هستند بنابراین نیاز به روشهای صوری برای تحلیل آنها امری واضح است. تصمیم ناپذیری پروتکلهای امنیت یک موضوع مشهور است. این پایان نامه روی بررسی تصمیم پذیری محرمانگی پروتکلهای امنیت متمرکز است. چندین نتیجه در این پایان نامه آمده است که بعضی از آنها غلط هستند. بعلاوه مرتبط کردن همه نتایج بعلت تنوع بزرگ صوری سازیهای استفاده شده برای ایجاد آنها مشگل است. این پایان نامه نتایج غلط را تصحیح میکند و همه نتایج بدست امده را تحت صوری ‎سازی یکسان ارائه میکند.

منابع مشابه

بررسی تصمیم پذیری محرمانگی در پروتکل های امنیت

اطلاعات یک عنصر کلیدی در جامعه ماست بنابراین محرمانگی، احراز هویت و صحت اطلاعات آن باید تضمین شده باشد.....این پایان نامه روی بررسی تصمیم پذیری محرمانگی در پروتکل های امنیت متمرکز است. صوری سازی های استفاده شده برای دستیابی به نتیجه های موجود در این زمینه متنوع و برخی از اثباتها اشکال دارد. در این پایان نامه این نتیجه ها تحت صوری سازی یکسان ارائه و اشکالها تصحیح شده است.

الگوریتمی برای درستی یابی محرمانگی در پروتکل های امنیت

در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی ‏قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبات می کند. به کمک استفاده الگوریتم از اتحاد، از مساله ی انفجار فضای حالت جلوگیری می شود. مزیت دیگر این است که نیازی به...

15 صفحه اول

ارزیابی الزامات امنیت و محرمانگی اطلاعات در پیاده سازی سیستم پرونده پزشکی الکترونیک در بیمارستان های شهر اصفهان سال 1393

Background and purpose: Today, with the advent of electronic medical record system (EMRS) the security and confidentiality of information ought to be reasonably considered. The purpose of this study was to assess the privacy and security requirements for implementation of EMRS in all hospitals in Isfahan in 2014. Materials and methods: An analysis framework was used in an applied study perform...

متن کامل

تصمیم پذیری سیستم های هوشمند

الگوسازی از ذهن و ارائه مدلی که قابلیت های پیچیده ذهن را داشته باشد یکی از افق های توانمندی بشر است. اگرچه عمده تلاش ها در این زمینه بیش تر از نیم قرن سابقه ندارد و با دستاوردهای مسحورکننده خود یکی از پدیده های شگفتی ساز شده است، اما هر چه این رویا رنگ واقعیت بیش تری به خود می گیرد مشکلات بزرگ تری را بر سر راه نظریه پردازان هوش مصنوعی قرار می دهد. دو مسئله عمده ای که در این زمینه در مقاله حاضر ...

متن کامل

محرمانگی درفرآیند میانجیگری کیفری

محرمانگی یکی از مؤلفه‌های مهم در میانجیگری کیفری بوده و بدون رعایت اصل محرمانه بودن فرآیند میانجیگری بعید است گفتگوی معناداری بین بزه دیده و بزهکار صورت گیرد. اگر اصل محرمانگی تضمین نشود، ممکن است بزهکار و بزه دیده تمایلی به شرکت در فرآیند میانجیگری نداشته باشند و تصمیم بگیرند که در این فرآیند شرکت نکنند؛ بنابراین حصول اطمینان از مشارکت بزه دیده و بزهکار یکی از دلایل اصلی برای محرمانه بودن این ...

متن کامل

اهمیت و ضرورت محرمانگی و امنیت اطلاعات در افزایش اعتماد عمومی، پوشش و کیفیت آمارها۱

مردم برای خود حریم خصوصی قائل هستند و دوست دارند همه، آن را به رسمیت بشناسند. در گذشته نفوذ به این حریم و تحقیق و تفحص در مورد آن پیچیده تر بود و برای این منظور نمودهای بیرونی زیادی وجود داشت که گاهی اوقات منجر به رسوا شدن فرد یا سازمان نفوذی می شد. امروزه با پیشرفت تکنولوژی راه های نفوذ پنهان و آشکار زیادی به حریم خصوصی افراد، سازمان ها و ... وجود دارد. گاهی با یک ارتباط الکترونیک کاری، تمام ا...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده علوم پایه دامغان

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023